The CtCoq System: Design and Architecture
نویسندگان
چکیده
منابع مشابه
CtCoq: A System Presentation
The CtCoq system is a graphical user-interface using a distributed architecture adapted to the Coq proof system 3]. Basic features provided by this graphical interface are direct manipulation of formulas and commands using the mouse, mathematical notations with an extended character set and colors, menus for guiding users in their manipulations of commands and formulas. More advanced features a...
متن کاملVersatile Design and Ethical Architecture
Background: Following the spread of dissatisfaction with modern architecture, the machine attitude towards man, and the disregard for human values and human existential dignity, the global movement in support of independence and participation was formed in response to demographic and social realities. Recognized in 1988 as universal design, the movement allowed more people of all levels of ab...
متن کاملThe CtCoq experience
The CtCoq system is a graphical user-interface using a distributed archii tecture adapted to the Coq proof system 4]. Basic features are direct manipulation of formulas and commands using the mouse, mathematical notations with an extended character set and colors, menus for guiding users in their manipulations of commands and formulas. More advanced features also include proof-by-pointing, scri...
متن کاملsimulation and design of electronic processing circuit for restaurants e-procurement system
the poor orientation of the restaurants toward the information technology has yet many unsolved issues in regards to the customers. one of these problems which lead the appeal list of later, and have a negative impact on the prestige of the restaurant is the case when the later does not respond on time to the customers’ needs, and which causes their dissatisfaction. this issue is really sensiti...
15 صفحه اولSystem architecture design
All throughout history people have had the sense that products become more complex by incorporating new features or new technologies. Up to the middle of the 20th century, most products remained sufficiently simple that single people could design them. Now, all but the simplest products are designed by teams of people with different skills and expertise. Modern products span a range of traditio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1999
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s001650050049